Merge pull request #2711 from lucab/ups/sign-assertions
authorColin Walters <walters@verbum.org>
Fri, 9 Sep 2022 14:05:27 +0000 (10:05 -0400)
committerGitHub <noreply@github.com>
Fri, 9 Sep 2022 14:05:27 +0000 (10:05 -0400)
commitc6c3c5ae9fbeaaa2207149ed348109400b88314e
treeb1164f036c8a4cbfd6227654abfa958b6ba2addd
parentc2dc6d389340641debbac6cf746e8cf37b079a50
parentace973186c7f092a8638285b7a90fe30e080e7aa
Merge pull request #2711 from lucab/ups/sign-assertions

lib/sign: convert invariant checks to assertions